wayland: Clear tablet tool cursor on proximity out

This ensures that the tablet tool will get the cursor updated even if it
happens to fall within the same window again on the next proximity in.

https://bugzilla.gnome.org/show_bug.cgi?id=785375

diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index 03282aec4d6da45b2c28bf03177626e76e85fe31..011fe30e2dfe1acd50d85bd33150ca3010e4944f 100644 (file)
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -3632,6 +3632,7 @@ tablet_tool_handle_proximity_out (void                      *data,
   tablet->pointer_info.focus = NULL;
 
   gdk_device_update_tool (tablet->current_device, NULL);
+  g_clear_object (&tablet->pointer_info.cursor);
 }
 
 static void